Concurrent algorithm

Results: 314



#Item
81Concurrency control / Applied mathematics / Garbage collection / Linearizability / Algorithm / Mutator method / Reference counting / Lock / Time complexity / Computing / Theoretical computer science / Memory management

CGCExplorer: A Semi-Automated Search Procedure for Provably Correct Concurrent Collectors Martin T. Vechev Cambridge University Eran Yahav

Add to Reading List

Source URL: www.cs.technion.ac.il

Language: English - Date: 2007-04-10 10:02:52
82Fault-tolerant computer systems / Fault tolerance / Cryptography / Theory of computation / Consensus / Model checking / Distributed computing / Byzantine fault tolerance / Distributed algorithm / Computing / Theoretical computer science / Concurrent computing

Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms? Annu Gmeiner, Igor Konnov, Ulrich Schmid, Helmut Veith, and Josef Widder Vienna University of Technology (TU Wien) Abstract. Recently we

Add to Reading List

Source URL: forsyte.at

Language: English - Date: 2014-06-05 05:53:48
83Scheduling / SimGrid / Task parallelism / Job shop scheduling / Computer cluster / Distributed computing / Algorithm / SIMD / Data parallelism / Concurrent computing / Computing / Parallel computing

A Comparison of Scheduling Approaches for Mixed-Parallel Applications on Heterogeneous Platforms Tchimou N’Takp´e ∗ Fr´ed´eric Suter Nancy University / LORIA UMR 7503 CNRS - INPL - INRIA - Nancy 2 - UHP, Nancy 1

Add to Reading List

Source URL: navet.ics.hawaii.edu

Language: English - Date: 2008-08-22 16:42:24
84Inter-process communication / Data transmission / Distributed computing architecture / Message passing / Actor model / Garbage collection / Reference counting / Transmission Control Protocol / Communications protocol / Computing / Memory management / Concurrent computing

A Non-Blocking Reference Listing Algorithm for Mobile Active Object Garbage Collection Wei-Jen Wang and Carlos A. Varela Department of Computer Science, RPI Automatic garbage collection (GC) gives abstraction to distribu

Add to Reading List

Source URL: wcl.cs.rpi.edu

Language: English - Date: 2015-01-22 12:32:43
85Data management / B-tree / Linked lists / T-tree / Skip list / Trie / Insertion sort / Priority queue / Cache-oblivious algorithm / Computing / Binary trees / Computer programming

Concurrent Cache-Oblivious B-Trees Michael A. Bender Jeremy T. Fineman Department of Computer Science

Add to Reading List

Source URL: www.comp.nus.edu.sg

Language: English - Date: 2007-09-28 06:21:01
86Distributed computing / Consensus / Replication / Paxos / Extensible Storage Engine / Fault-tolerant computer systems / Computing / Concurrent computing

In Search of an Understandable Consensus Algorithm

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2015-05-31 15:51:33
87Database management systems / System administration / Mathematical optimization / Search algorithms / Amazon Elastic Compute Cloud / Infrastructure as a Service / Application server / Case-based reasoning / Algorithm / Computing / Cloud computing / Concurrent computing

Autosys: Performance driven automatic system configuration tool ABSTRACT With the widespread use of web applications and especially increasing popularity of e-commerce, social networks, web

Add to Reading List

Source URL: people.apache.org

Language: English - Date: 2010-08-18 22:58:04
88Concurrency control / Scheduling algorithms / Scheduling / Software bugs / Parallel computing / Thread / Multithreading / Non-blocking algorithm / Lock / Computing / Concurrent computing / Computer programming

Multicore Acceleration of Priority-Based Schedulers for Concurrency Bug Detection Santosh Nagarakatte Sebastian Burckhardt

Add to Reading List

Source URL: www.cis.upenn.edu

Language: English - Date: 2012-03-28 19:52:42
89Concurrent computing / Read-copy-update / Readers–writer lock / Lock / ABA problem / Non-blocking algorithm / Critical section / Memory barrier / Thread / Concurrency control / Computing / Concurrency

User-Level Implementations of Read-Copy Update

Add to Reading List

Source URL: www.efficios.com

Language: English - Date: 2011-08-30 18:02:32
90Computer programming / Lock / Non-blocking algorithm / Thread / Critical section / Spinlock / POSIX / Parallel computing / CPU cache / Computing / Concurrency control / Concurrent computing

Remote Core Locking: Migrating Critical-Section Execution to Improve the Performance of Multithreaded Applications Jean-Pierre Lozi Florian David

Add to Reading List

Source URL: www.usenix.org

Language: English - Date: 2015-05-30 06:29:06
UPDATE